Omnidirectional type inference for ML: principality any way
arxiv.org·2d
🎯Hindley-Milner
Flag this post
I'm building a language that compiles Haskell-style Monads and RAII down to high-performance C. I call it Cicili
λFunctional Programming
Flag this post
Coding in AI Era: Adapt Your Methods
🎭Program Synthesis
Flag this post
Generative AI and the P=NP problem
lesswrong.com·14h
🧮SMT Solvers
Flag this post
November 2025 Short-Term Q3 Project Updates
clojuriststogether.org·2d
🍱Nom
Flag this post
Claude helped me make a multi agent ecosystem where models interact with each other autonomously
🔲Cellular Automata
Flag this post
Christoph Breitkopf: Interval Tables in Common Lisp
bokesan.blogspot.com·2d
📐Type Theory
Flag this post
Nuitka Release 2.8
nuitka.net·17h
📦uv
Flag this post
One Prompt to Rule Them All: How I Made Cursor, Claude & ChatGPT Code Better
pub.towardsai.net·1h
🎭Program Synthesis
Flag this post
ML Systems Textbook by Havard
🚀MLOps
Flag this post
Referential Transparency
λFunctional Programming
Flag this post
The Hare Programming Language
🐹golang
Flag this post
Scheduling in LLM Inference
🐍Python
Flag this post
I tested GPT-5.1 Codex against Sonnet 4.5, and it's about time Anthropic bros take pricing seriously.
📦Folly
Flag this post
First-class custom smart pointers
🔀Crossbeam
Flag this post
Zig GUI from Scratch
🕸️WASM
Flag this post
Loading...Loading more...